Wolfenstein parametrization at higher order: Seeming discrepancies and their resolution
نویسندگان
چکیده
منابع مشابه
Wolfenstein parametrization reexamined.
The Wolfenstein parametrization of the 3 × 3 Kobayashi-Maskawa (KM) matrix V is modified by keeping its unitarity up to the accuracy of O(λ). This modification can self-consistently lead to the off-diagonal asymmetry of V : |Vij| 2 − |Vji| 2 = Z ∑ k ǫijk with Z ≈ Aλ(1 − 2ρ), which is comparable in magnitude with the Jarlskog parameter of CP violation J ≈ Aλη . We constrain the ranges of J and Z...
متن کاملWolfenstein-like Parametrization of the Neutrino Mixing Matrix
We show that the 3× 3 lepton flavor mixing matrix V can be expanded in powers of a Wolfenstein-like parameter Λ ≡ |Vμ3| ∼ 1/ √ 2 , which measures the strength of flavor conversion in atmospheric neutrino oscillations. The term of O(Λ2) is responsible for the large flavor mixing in solar neutrino oscillations. The Dirac phase of CP violation enters at or below O(Λ6), and the Majorana phases of C...
متن کاملHigher-Order Order-Sorted Resolution
The introduction of sorts to rst-order automated deduction has brought greater conciseness of representation and a considerable gain in eeciency by reducing the search space. It is therefore promising to treat sorts in higher order theorem proving as well. In this paper we present a generalization of Huet's Constrained Resolution to an order-sorted type theory T with term declarations. This sys...
متن کاملExtensional Higher-Order Resolution
In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principles – necessary for the completeness result – by specialized (goal-directed) inference rules is of practical applicability, as an implentation of the calculus in the Leo-System shows. Furthermore, we prove the long-standing conj...
متن کاملHigher Order Multi-Valued Resolution
This paper introduces a multi-valued variant of higher-order resolution and proves it correct and complete with respect to a variant of Henkin’s general model semantics. This resolution method is parametric in the number of truth values as well as in the particular choice of the set of connectives (given by arbitrary truth tables) and even substitutional quantifiers. In the course of the comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics Letters B
سال: 2011
ISSN: 0370-2693
DOI: 10.1016/j.physletb.2011.08.047